<?php 

header('Refresh: 300');

require '../pushing.php';

if ($pushTime === true) {

	$_SESSION = array();
	session_destroy();
	
	?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Push</title>
<link rel="stylesheet" type="text/css" href="../Styler.css"/>	
</head>

<body>

	<div id="header"></div>

	<div id="push">
	
		<div>
		Site Currently Under Maintenance
		</div>
		
		<div style="margin-top: 15px;">
		Please be Patient
		</div>
    </div>
    
    
</body>
</html>
<?php }

else 
	header('Location: home.php');
?>